Parallel Dictionaries with Local Rules on AVL and Brother Trees
نویسندگان
چکیده
We present a set of local rules to deal with dictionaries Their main advantage is that they can be scheduled in a highly synchronized way to get parallel dictionaries on AVL trees Up to now trees used in massively parallel dictionaries needed to have all the leaves at the same depth such as trees Therefore it was possible in insertions and deletions the bottom up reconstruction of the tree in a very regular fashion as a pipeline of plane waves moving up On AVL trees the situation looks di erent because leaves can have di erent depth therefore any wave in a pipeline is highly irregular To solve this problem we de ne virtual plane waves allowing us to develop an EREW dictionary for k keys with k processors and time O logn log k Later on we generalize the sequential algorithms on brother trees presented by Ottmann and Wood in the same way
منابع مشابه
A Unified Approach to Concurrent and Parallel Algorithms on Balanced Data Structures (Invited Paper)
Concurrent and parallel algorithms are different. However, in the case of dictionaries, both kinds of algorithms share many common points. We present a unified approach emphasizing these points. It is based on a careful analysis of the sequential algorithm, extracting from it the more basic facts, encapsulated later on as local rules. We apply the method to the insertion algorithms in AVL trees...
متن کاملPurely Functional 1-2 Brother Trees
Enter the computing arboretum and you will find a variety of well-studied trees: AVL trees (Adel’son-Vel’skiı̆ & Landis, 1962), symmetric binary B-trees (Bayer, 1972), Hopcroft’s 2-3 trees (Aho et al., 1974), the bushy finger trees (Guibas et al., 1977), and the colourful red-black trees (Guibas & Sedgewick, 1978). In this pearl, we look at a more exotic species of balanced search trees, 1-2 bro...
متن کاملAutomatic Functional Correctness Proofs for Functional Search Trees
In a new approach, functional correctness specifications of insert/update and delete operations on search trees are expressed on the level of lists by means of an inorder traversal function that projects trees to lists. With the help of a small lemma library, functional correctness and preservation of the search tree property are proved automatically (in Isabelle/HOL) for a range of data struct...
متن کاملVerified Analysis of Functional Data Structures
In recent work the author has analyzed a number of classical functional search tree and priority queue implementations with the help of the theorem prover Isabelle/HOL. The functional correctness proofs of AVL trees, red-black trees, 2-3 trees, 2-3-4 trees, 1-2 brother trees, AA trees and splay trees could be automated. The amortized logarithmic complexity of skew heaps, splay trees, splay heap...
متن کاملConcurrent Rebalancing of ACL Trees: A Fine-Grained Approach (Extended Abstract)
We address the concurrent rebalancing of almost balanced binary search trees (AVL trees). Such a rebalancing may for instance be necessary after successive insertions and deletions of keys. We show that this problem can be studied through the self-reorganization of distributed systems of nodes controlled by local evolution rules in the line of the approach of Dijkstra and Scholten. This yields ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inf. Process. Lett.
دوره 68 شماره
صفحات -
تاریخ انتشار 1998